Examples

Example 1

Example 2

在第一列列出所有的initial state,第二列列出可选的actions加noop,第三列写出省下的state,还在的用实线,删掉的用虚线。
标记出inconsistent effects,也就是两条线指向同一个state的。
标记出interference,也就是从同一个initial state指出多条线的。
标记出completing needs,如果有的话,也就是题目要求达到的状态。